kurt gödel research center

1:53:45

David Chodounský - Silver forcing and P-points

1:33:27

Serhii Bardyla (Kurt Gödel Research Center, Univ. of Vienna), Completeness and related properties

0:24:20

Stefan Neuwirth - Paul Lorenzen's Reception of Gödel's Incompleteness Theorems (Gödel Conference)

0:29:32

Gabriella Crocco & Paola Cantù - The Application of Mathematics in Gödel and beyond

1:36:06

S.Bardyla (K.Gödel Research Center, Univ. of Vienna), Shift-invariant filters on the bicyclic monoid

0:12:21

The Mathematician Who Discovered Math's Greatest Mystery

1:01:50

David Asperó - Special $\aleph_2$-Aronszajn trees and GCH (part 1 of 2)

1:33:19

Tim Button - Loving the universe

0:42:41

Harvey Friedman - Gödel's Incompleteness Theorems (Gödel Conference)

1:34:10

Serhii Bardyla - Complete topological semigroups

0:50:29

Luca Motto Ros - Classical descriptive set theory, generalized descriptive set theory, and I0

1:34:08

Yair Hayut - Strong compactness and the filter extension property

0:49:38

Jörg Brendle - Some problems about cardinal invariants

1:00:32

Thomas Forster - Synonymy, Stratification and the Universal Set

1:39:41

Raphaël Carroy - A dichotomy for topological embeddability between continuous functions

1:45:48

David Schrittesser - The Ramsey property, MAD families, and their multidimensional relatives

0:40:20

Peter LeFanu Lumsdaine - Comparing General Definitions of Type Theories (Gödel Conference)

0:24:40

Rahman Mohammadpour - Guessing models and the approachability ideal

1:31:39

Damian Sobota - On convergent sequences of normalised measures on compact spaces

0:48:46

Todor Tsankov - A model-theoretic approach to rigidity in ergodic theory

0:50:04

Mirna Džamonja - Some strong logics in set theory and the logic of chains

1:46:46

Daniel Soukup - New aspects of ladder system uniformization I

1:01:05

Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference)

1:17:53

Sy David Friedman - Mighty Mouse